-
1 prouver
prouver [pʀuve]➭ TABLE 1 transitive verb• il est prouvé que... it has been proved that...• cela prouve que... it proves that...• il a voulu se prouver (à lui-même) qu'il en était capable he wanted to prove to himself that he was capable of it* * *pʀuve
1.
1) ( établir la réalité de) to proveil faudrait qu'il accepte, et ça n'est pas prouvé — (colloq) he has to accept and there's no guarantee that he will
2) ( indiquer) to show3) ( exprimer) to demonstrate [sentiment]
2.
se prouver verbe pronominal1) ( à soi-même) to prove to oneself2) ( être démontré)3) ( l'un l'autre)••* * *pʀuve vtprouver par A+B que; prouver par A plus B que — to prove logically that
* * *prouver verb table: aimerA vtr1 ( établir la réalité de) to prove; ton hypothèse reste à prouver your hypothesis is yet to be proved; il faudrait qu'il accepte, et ça n'est pas prouvé○ he has to accept and there's no guarantee that he will; prouver par l'absurde to prove by reductio ad absurdum; prouver à qn que to prove to sb that; prouver qch à qn to prove sth to sb;2 ( indiquer) to show; tout prouve qu'il est sincère everything shows that he's sincere;3 ( exprimer) to demonstrate [sentiment].B se prouver vpr1 ( à soi-même) elle cherche à se prouver qu'elle a raison she's trying to prove to herself that she's right;2 ( être démontré) un axiome ne se prouve pas an axiom cannot be proved;3 ( l'un l'autre) ils se sont prouvé qu'ils s'aimaient they demonstrated their love for one another.n'avoir plus rien à prouver to have proved oneself.[pruve] verbe transitif1. [faire la preuve de] to proveil n'est pas prouvé que... there's no proof that...les faits ont prouvé qu'elle était bel et bien absente the facts proved her to have indeed been absentprouve-moi le contraire! give me proof of ou to the contrary!il m'a prouvé par A + B que j'avais tort he demonstrated that I was wrong in a very logical way2. [mettre en évidence] to show3. [témoigner] to demonstrateprouver à quelqu'un son amitié/sa reconnaissance to demonstrate one's friendship/gratitude to somebody, to give somebody proof of one's friendship/gratitude————————se prouver verbe pronominal transitif
См. также в других словарях:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… … Wikipedia
Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… … Wikipedia
Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… … Wikipedia
axiom of choice — Math. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets. Also called Zermelo s axiom; esp. Brit., multiplicative axiom. * * * ▪ set theory… … Universalium
Axiom of Causality — The Axiom of Causality is the proposition that everything in the universe has a cause and is thus an effect of that cause. This means that if a given event occurs, then this is the result of a previous, related event. If an object is in a certain … Wikipedia
independent axiom — Logic, Math. in a set of axioms, one that cannot be proved by using the others in the set. [1900 05] * * * … Universalium
independent axiom — Logic, Math. in a set of axioms, one that cannot be proved by using the others in the set. [1900 05] … Useful english dictionary
Freiling's axiom of symmetry — ( AX ) is a set theoretic axiom proposed by Chris Freiling. It is based on intuition of Stuart Davidsonbut the mathematics behind it goes back to Wacław Sierpiński. Let A be the set of functions mapping numbers in the unit interval [0,1] to… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia